conjunctive goal in deduction
[计] 演绎中的合取目标
热门查询
- Forrest n. 佛利斯特（人名, 或美国电影阿甘正传）
- sneeze n. 喷嚏 vi. 打喷嚏
- stylized adj. 程式化的；按固定格式的 v. 风格化；仿效…的风格（stylize的过去式和过去分词）
- kingfish n. [鱼] 无鳔石首鱼；首领，掌握绝对权力的人
- emancipated adj. 被解放的 v. 解放；使…获得自由（emancipate的过去分词）
- worn v. 穿；磨损（wear的过去分词）；佩戴 adj. 疲倦的；用旧的 n. (Worn)人名；(柬)翁；(英、葡)沃恩
- Batchelor [人名] [英格兰人姓氏] 巴彻勒 Bachelor的变体; [地名] [澳大利亚、美国] 巴彻勒
- manitou n. （北美土人的）神灵
- expatriate n. 被流放者；移居国外者 adj. 移居国外的；被流放的 vt. 使移居国外；流放，放逐；使放弃国籍 vi. 移居国外；放弃原国籍
- dilatation n. 扩张；详述；膨胀度
- optimally adv. 最佳；最适宜
- aversive adj. 反感的；嫌恶的
- Schuman n. (Schuman)人名；(英、捷、瑞典)舒曼
- unheard of adj. 从未听见过的 [网络] 闻所未闻；前所未闻的；没有听说过的
- AA abbr. 嗜酒者互诫协会（Alcoholics Anonymous）；汽车协会（Automobile Association）；瘾君子互诫协会（Addicts Anonymous）；会计学准学士（Associate in Accounting）
- ingest vt. 摄取；咽下；吸收；接待
- rile n. (Rile)人名；(塞)里莱 vt. 激怒；搅浑；惹怒
- intend vi. 有打算 vt. 打算；想要；意指
- hightail vi. 迅速逃走
- foraging n. 觅食（forage的ing形式）；觅食力
考试词汇表
- glaucomato cyclitic crisis
- glaucomato-cyclitic crisis
- glaucomatous optic atrophy
- glazed ceramic mosaic tile
- glazed imitation parchment
- glechoma hederacea grandis
- gleditsia delavayi franch.
- gleditsia officinalis lam.
- gleditsia sinensis lamarck
- gleichenia linearis clarke
- glenea relicta formosensis
- glial maturation factor β
- glint in the milkman's eye
- glittering and translucent
- gll. lacrimales accessori?
- global area coverage (gac)
- global atmospheric circuit
- global climatologic change
- global convergence theorem
- global deformation pattern
